Uni cation of European height system realizations
نویسندگان
چکیده
A suitable representation of the regional gravity eld is used to estimate relative offsets between national height system realizations in Europe. The method used is based on a gravimetric approach and bene ts from the signi cant improvements in the determination of the global gravity eld by the recent satellite gravity missions the Gravity Recovery and Climate Experiment (GRACE) and the Gravity eld and steady-state Ocean Circulation Explorerr (GOCE). The potential of thesemissions for the uni cation of height reference frames is analyzed in terms of accuracy and spatial resolution. The results of the gravimetric approach are compared to the independent results of the geodetic leveling approach. Advantages and drawbacks of both methods are discussed.
منابع مشابه
EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH Consistency Checks of Grand Uni ed Theories
The world averaged values of the electroweak and strong couplings and the lower limits on the proton lifetime are used for consistency checks of Grand Uni ed Theories (GUT). It is con rmed that new physics outside the Standard Model (SM) is required to obtain uni cation of the electroweak and strong forces. Such new physics could come from the minimal supersymmetric extension of the SM, which p...
متن کاملHeight uni cation using GOCE
With the gravity eld and steady-state ocean circulation explorer (GOCE) (preferably combined with the gravity eld and climate experiment (GRACE)) a new generation of geoid models will become available for use in height determination. These models will be globally consistent, accurate (<3 cm) and with a spatial resolution up to degree and order 200, when expressed in terms of a spherical harmoni...
متن کاملConsistency and re nement for partial speci cation in
This paper discusses theoretical background for the use of Z as a language for partial speci cation in particular techniques for check ing consistency between viewpoint speci cations The main technique used is uni cation i e nding a candidate least common re nement The corresponding notion of consistency between speci cations turns out to be di erent from the known notions of consistency for si...
متن کاملHigh-Performance Multi-Pass Unication Parsing
Parsing natural language is an attempt to discover some structure in a text (or textual representation) generated by a person. This structure can be put to a variety of uses, including machine translation, grammar conformance checking, and determination of prosody in text-to-speech tasks. Recent theories of Syntax use Unication to better describe the intricacies of natural language [137]. For ...
متن کاملMatching and Uni cation in Rewrite Theories
\Semantic uni cation" is the process of generating a basis set of substitutions (of terms for variables) that makes two given terms equal in a speci ed theory. Semantic uni cation is an important component of some theorem provers. \Semantic matching," a simpler variant of uni cation, where the substitution is made in only one of the terms, has potential usage in programming language interpreter...
متن کامل